On the homotopy type of Lie groupoids
نویسنده
چکیده
We propose a notion of groupoid homotopy for generalized maps. This notion of groupoid homotopy generalizes the notions of natural transformation and strict homotopy for functors. The groupoid homotopy type of a Lie groupoid is shown to be invariant under Morita equivalence. As an application we consider orbifolds as groupoids and study the orbifold homotopy between orbifold maps induced by the groupoid homotopy.
منابع مشابه
On the 1-Homotopy Type of Lie Groupoids
We propose a notion of 1-homotopy for generalized maps. This notion generalizes those of natural transformation and ordinary homotopy for functors. The 1-homotopy type of a Lie groupoid is shown to be invariant under Morita equivalence. As an application we consider orbifolds as groupoids and study the notion of orbifold 1-homotopy type induced by a 1-homotopy between presentations of the orbif...
متن کاملSets in homotopy type theory
Homotopy Type Theory may be seen as an internal language for the ∞category of weak ∞-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak ∞-groupoids as a new foundation for mathematics called the Univalent Foundations of Mathematics. It includes the sets as weak ∞-groupoids with contractible connected components, and thereby it includes (much of)...
متن کامل1 Towards a 2 - dimensional notion of holonomy ∗
Previous work (Pradines, 1966, Aof and Brown, 1992) has given a setting for a holon-omy Lie groupoid of a locally Lie groupoid. Here we develop analogous 2-dimensional notions starting from a locally Lie crossed module of groupoids. This involves replacing the Ehresmann notion of a local smooth coadmissible section of a groupoid by a local smooth coadmissible homotopy (or free derivation) for t...
متن کاملThe Lusternik-schnirelmann Category of a Lie Groupoid
We propose a new homotopy invariant for Lie groupoids which generalizes the classical Lusternik-Schnirelmann category for topological spaces. We use a bicategorical approach to develop a notion of contraction in this context. We propose a notion of homotopy between generalized maps given by the 2-arrows in a certain bicategory of fractions. This notion is invariant under Morita equivalence. Thu...
متن کاملOrbifolds as Groupoids: an Introduction
The purpose of this paper is to describe orbifolds in terms of (a certain kind of) groupoids. In doing so, I hope to convince you that the theory of (Lie) groupoids provides a most convenient language for developing the foundations of the theory of orbifolds. Indeed, rather than defining all kinds of structures and invariants in a seemingly ad hoc way, often in terms of local charts, one can us...
متن کامل